package verifier;

import dk.brics.automaton.Automaton;
import dk.brics.automaton.RegExp;
import network.Device;

public class Property {
    private Device source;
    private Automaton automaton;

    public Property(Device source, RegExp regExp) {
        this.source = source;
        this.automaton = regExp.toAutomaton();
    }

    public Device getSource() {
        return source;
    }

    public Automaton getAutomata() {
        return automaton;
    }
}
